منابع مشابه
On certain maximality principles
We present streamlined proofs of certain maximality principles studied by Hamkins and Woodin. Moreover, we formulate an intermediate maximality principle, which is shown here to be equiconsistent with the existence of a weakly compact cardinal $kappa$ such that $V_{kappa}prec V$.
متن کاملOn Foreman's Maximality Principle
In this paper we consider Foreman’s maximality principle, which says that any non-trivial forcing notion either adds a new real or collapses some cardinals. We prove the consistency of some of its consequences. We observe that it is consistent that every c.c.c. forcing adds a real and that for every uncountable regular cardinal κ, every κ-closed forcing of size 2<κ collapses some cardinal.
متن کاملOn C-maximality
This paper investigates a connection between the semantic notion provided by the ordering C∗ among theories in model theory and the syntactic (N)SOPn hierarchy of Shelah. It introduces two properties which are natural extensions of this hierarchy, called SOP2 and SOP1. It is shown here that SOP3 implies SOP2 implies SOP1. In [Sh 500] it was shown that SOP3 implies C ∗-maximality and we prove he...
متن کاملOn the Maximality
As our proof depends only on the invariant subspace theorem for H1 [2, Theorem 7 ] ; see also [4 ], where Hl denotes the L1 closure of A, and the F. and M. Riesz theorem [3, p. 47], it works in any situation in which these two theorems are valid. Some algebras in which both theorems are valid were considered by Bishop [l]. Even though the proof extracted by Cohen [3, p. 94] from the proof of We...
متن کاملOn Maximality of Compact Topologies
Using some advanced properties of the de Groot dual and some generalization of the Hofmann-Mislove theorem, we solve in the positive the question of D. E. Cameron: Is every compact topology contained in some maximal compact topology? Date: 29. 8. 2004. Last revision: 14. 10. 2004
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2004
ISSN: 0168-0072
DOI: 10.1016/j.apal.2003.11.001